First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
931	Possible Semantics for a Common Framework of Probabilistic Logics Rolf Haenni1 , Jan-Willem Romeijn2 , Gregory Wheeler3 , and Jon Williamson4 1 Bern University of Applied Sciences, Engineering and Information Technology Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:37 Philosophical logic Deduction Probability theory Probabilistic logic Interpretation First-order logic Entailment Probability interpretations Modal logic Logic Non-classical logic Model theory
932	Belief contraction through safe formulas Viktoriia Kozyreva Ufa State Aviation Technical University Ufa, Russia Center for Artificial Intelligence (CENTRIA), New University of Lisbon, Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-07-09 04:55:23 Standard translation Belief revision First-order logic Accessibility relation Interpretation Modal operator Modal companion Kripke semantics Logic Mathematical logic Modal logic
933	Modal Logic Carnegie Mellon University Fall 2012 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-08-24 16:10:09 Kripke semantics Epistemic modal logic First-order logic Deontic logic Temporal logic Dynamic logic Neighborhood semantics Saul Kripke Multimodal logic Logic Mathematical logic Modal logic
934	Modeling of Phenomena and Dynamic Logic of Phenomena Boris Kovalerchuk1, Leonid Perlovsky2, Gregory Wheeler3 Draft of September 1, [removed]Central Washington University, Dept. of Computer Science, USA, [removed] 2 Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2011-09-01 06:17:34 Model theory Predicate logic Philosophical logic Mereology Interpretation Kripke semantics First-order logic Modal logic Function Logic Mathematical logic Mathematics
935	Certifying Knowledge Sociology of a Logical Theorem in the Field of Artificial Intelligence Claude Rosental S E P T E M B E R[removed] , PA P E R N U M B E R 1 8 Add to Reading List Source URL: www.sss.ias.edu Language: English - Date: 2009-08-28 11:36:05 Artificial intelligence Logic in computer science Model theory Fuzzy logic Mathematical logic First-order logic Argument Theorem Type-2 fuzzy sets and systems Logic Mathematics Logical consequence
936	AGM Belief Revision in Monotone Modal Logics Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:21 Philosophical logic Model theory Metalogic Propositional calculus Interpretation Kripke semantics Entailment First-order logic Neighborhood semantics Logic Mathematical logic Modal logic
937	PHERL: an Emerging Representation Language for Patterns, Hypotheses, and Evidence Kenneth Murray, Ian Harrison, John Lowrance, Andres Rodriguez, Jerome Thomere, and Michael Wolverton SRI International 333 Ravenswood Aven Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2008-04-22 19:59:57 Query languages Computer languages RDF Design of experiments Hypothesis testing SPARQL Intelligence analysis Cyc First-order logic Data management Computing Science
938	Introduction to Logic Professor John Morrison [removed] Lecture Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-12 12:52:02 Valuation Atomic sentence Quantification Sentence Atomic formula First-order logic Logic Predicate logic Mathematical logic
939	First-Order Models for POMDPs Siddharth Srivastava Computer Science Division University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-08-01 03:54:59 Model theory Predicate logic Control theory Formal languages Functional predicate First-order logic Interpretation Predicate State space Logic Mathematical logic Mathematics
940	Course-Description-and-Plan Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-18 12:13:27 Metalogic Thoralf Skolem First-order logic Soundness Löwenheim–Skolem theorem Axiom Deductive reasoning Non-standard model Theory Logic Mathematical logic Model theory